<html>
<head><meta charset="utf-8"><title>checking in · t-compiler/wg-rfc-2229 · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/index.html">t-compiler/wg-rfc-2229</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html">checking in</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="199599836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/199599836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#199599836">(Jun 03 2020 at 09:54)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="281950">@Aman Arora</span> -- how are things? I just wanted to check-in and see how things were going, what you were working on, and if you felt stuck on anything.</p>



<a name="199599880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/199599880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#199599880">(Jun 03 2020 at 09:55)</a>:</h4>
<p>We should I guess decide how to synchronize on progress -- we could make a kind of regular meeting if that would be helpful, but at least having a shared document with the plans and steps would be good. Since I'm juggling a few things I tend to get a bit confused if I don't have a doc to jump back to to remember what was going on.</p>



<a name="199636608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/199636608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#199636608">(Jun 03 2020 at 15:44)</a>:</h4>
<p>Hi, last week has been fairly busy for us and we weren't able to get muc done. Plan is to spend rest of the week investigate the suggestions for HIR Places refactor.</p>
<p>We have project board here: <a href="https://github.com/sexxi-goose/rust/projects/1">https://github.com/sexxi-goose/rust/projects/1</a></p>
<p>If you would prefer a shared doc, I can get something started.</p>



<a name="199637468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/199637468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#199637468">(Jun 03 2020 at 15:50)</a>:</h4>
<p>I'd suggest a doodle for planning the meeting and we can discuss how often we want to do sync</p>



<a name="199648221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/199648221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#199648221">(Jun 03 2020 at 17:12)</a>:</h4>
<p>a project board seems reasonable</p>



<a name="199649270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/199649270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#199649270">(Jun 03 2020 at 17:20)</a>:</h4>
<p>If you get a chance can you go over it and see if there is some more concrete ways we can split tasks? It's currently based of the plan you had written here: <a href="https://hackmd.io/HNEgTkPlTuy6cb9v29rzIQ">https://hackmd.io/HNEgTkPlTuy6cb9v29rzIQ</a></p>



<a name="200133109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200133109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200133109">(Jun 08 2020 at 17:52)</a>:</h4>
<p>OK, I'm jumping back to this topic</p>



<a name="200133615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200133615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200133615">(Jun 08 2020 at 17:57)</a>:</h4>
<p>I think we should have meeting and discuss some of the refactor work. Can you send out a doodle like last time?</p>



<a name="200133626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200133626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200133626">(Jun 08 2020 at 17:57)</a>:</h4>
<p>I agree, it seems like we need to sync back up</p>



<a name="200133632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200133632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200133632">(Jun 08 2020 at 17:57)</a>:</h4>
<p>I'm also a bit unclear on what has happened thus far</p>



<a name="200133750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200133750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200133750">(Jun 08 2020 at 17:58)</a>:</h4>
<p>Mostly the renaming for upvars -&gt; upvars_mentioned, upvars_list -&gt; closure_captures. There is a PR in the works to use closure_captures instead of upvars_mentioned once typechk is done</p>



<a name="200133782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200133782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200133782">(Jun 08 2020 at 17:58)</a>:</h4>
<p>OK.</p>



<a name="200133788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200133788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200133788">(Jun 08 2020 at 17:58)</a>:</h4>
<p>I'm looking at the project board</p>



<a name="200133793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200133793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200133793">(Jun 08 2020 at 17:58)</a>:</h4>
<p>I see a lot of stuff on there :)</p>



<a name="200133902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200133902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200133902">(Jun 08 2020 at 17:59)</a>:</h4>
<p>Yeah, I tried to separate out everything that was in your plan, into concrete tasks, so that it's easier to add notes and keep track in general. Please let us know if we can split things better.</p>



<a name="200134412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200134412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200134412">(Jun 08 2020 at 18:02)</a>:</h4>
<p>Yeah, I am thinking it'd be useful to have a kind of canonical dependency graph so to speak.</p>



<a name="200134946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200134946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200134946">(Jun 08 2020 at 18:06)</a>:</h4>
<p>I don't think github projects supports dependencies, however I added that information in some of the tasks</p>



<a name="200136034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200136034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200136034">(Jun 08 2020 at 18:15)</a>:</h4>
<p>yeah they don't</p>



<a name="200136037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200136037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200136037">(Jun 08 2020 at 18:15)</a>:</h4>
<p>that's ok</p>



<a name="200136164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200136164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200136164">(Jun 08 2020 at 18:16)</a>:</h4>
<p>what's your perception, <span class="user-mention" data-user-id="281950">@Aman Arora</span> -- do you all feel like you're moving at "full speed" right now, or do you feel like you're kind of blocked on more feedback?</p>



<a name="200136272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200136272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200136272">(Jun 08 2020 at 18:17)</a>:</h4>
<p>I think I will try to update the rust-lang/rust tracking issue <a href="https://github.com/rust-lang/rust/issues/53488">https://github.com/rust-lang/rust/issues/53488</a> to track the plan and progress</p>



<a name="200136618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200136618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200136618">(Jun 08 2020 at 18:20)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> can you send me links to the relevant PRs?</p>



<a name="200137075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137075">(Jun 08 2020 at 18:25)</a>:</h4>
<p>We are still waiting on feedback for HirPlaces, because everything seems like depends on what would look like.</p>
<p>Here are the rename PRs:<br>
<a href="https://github.com/rust-lang/rust/pull/72544">https://github.com/rust-lang/rust/pull/72544</a><br>
<a href="https://github.com/rust-lang/rust/pull/72591">https://github.com/rust-lang/rust/pull/72591</a></p>



<a name="200137314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137314">(Jun 08 2020 at 18:27)</a>:</h4>
<p>Ok, I'm sort of refreshing my memory now</p>



<a name="200137373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137373">(Jun 08 2020 at 18:28)</a>:</h4>
<p>I'll try to write up some details about hir places and so forth</p>



<a name="200137391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137391">(Jun 08 2020 at 18:28)</a>:</h4>
<p>I'm trying to decide how I feel about using the rust fork to track this work</p>



<a name="200137411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137411">(Jun 08 2020 at 18:28)</a>:</h4>
<p>how would you all feel about creating a wg-rfc-2229 repo in rust-lang?</p>



<a name="200137424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137424">(Jun 08 2020 at 18:28)</a>:</h4>
<p>(I'd give you all write access  to it)</p>



<a name="200137440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137440">(Jun 08 2020 at 18:28)</a>:</h4>
<p>I'd sort of rather consolidate planning and so forth into somewhere "official"</p>



<a name="200137476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137476">(Jun 08 2020 at 18:29)</a>:</h4>
<p>though I also don't mind if you just want to keep the existing repo and I can write notes and things in hackmds or issues on rust-lang/rust</p>



<a name="200137481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137481">(Jun 08 2020 at 18:29)</a>:</h4>
<p>and that repo can just be for your internal communication</p>



<a name="200137655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137655">(Jun 08 2020 at 18:30)</a>:</h4>
<p>Either works, whatever you think will be easier to keep track on in the future, in case someone wants to look back and see things were done a certain way</p>



<a name="200137681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137681">(Jun 08 2020 at 18:30)</a>:</h4>
<p>yeah it's the historical record that makes me want to move it to a rust-lang repo</p>



<a name="200137735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137735">(Jun 08 2020 at 18:31)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/checking.20in/near/200136164">said</a>:</p>
<blockquote>
<p>what's your perception, <span class="user-mention silent" data-user-id="281950">Aman Arora</span> -- do you all feel like you're moving at "full speed" right now, or do you feel like you're kind of blocked on more feedback?</p>
</blockquote>
<p>btw the reason I asked this is that</p>



<a name="200137759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200137759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200137759">(Jun 08 2020 at 18:31)</a>:</h4>
<p>I think that a regular meeting to kind of "get updates" might help if you feel like you are spending time spinning your collective wheels</p>



<a name="200138052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200138052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200138052">(Jun 08 2020 at 18:34)</a>:</h4>
<p>I agree regular meetings will help us move faster. I was planning on pinging you for it -- I am waiting on someone to get a clear idea about my week's schedule</p>



<a name="200139963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200139963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200139963">(Jun 08 2020 at 18:46)</a>:</h4>
<p>OK <span class="user-mention" data-user-id="281950">@Aman Arora</span> here is a doodle poll <a href="https://doodle.com/poll/ur7q994kce9y5675">https://doodle.com/poll/ur7q994kce9y5675</a> for a 30-minute meeting</p>



<a name="200148934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200148934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200148934">(Jun 08 2020 at 20:02)</a>:</h4>
<p>I'm still waiting on someone to get idea about my Wed/Thursday. I've added my availability for tomorrow.</p>



<a name="200151532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200151532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200151532">(Jun 08 2020 at 20:25)</a>:</h4>
<p>might honestly be best to start next week anyway</p>



<a name="200151548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200151548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200151548">(Jun 08 2020 at 20:25)</a>:</h4>
<p>though I will put in some more effort to writing up mentoring instructions today</p>



<a name="200156463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200156463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200156463">(Jun 08 2020 at 21:10)</a>:</h4>
<p>Thank you :)</p>



<a name="200156497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200156497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200156497">(Jun 08 2020 at 21:11)</a>:</h4>
<p>Everyone on our end who is going to be joining the meeting has responded on the poll (atleast for tomorrow). If that doesn't work we can schedule it for next week</p>



<a name="200157291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200157291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200157291">(Jun 08 2020 at 21:18)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> I created <a href="https://github.com/rust-lang/project-rfc-2229">https://github.com/rust-lang/project-rfc-2229</a>, and I believe that all of you should have invitations now to the rust org</p>



<a name="200158568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200158568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200158568">(Jun 08 2020 at 21:30)</a>:</h4>
<p><a href="https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=NnAxZWJoMTBkbW50anJrZmxyMGw5cGk0cWpfMjAyMDA2MDlUMTkzMDAwWiA2dTVycnRjZTZscnR2MDdwZmkzZGFtZ2p1c0Bn&amp;tmsrc=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com&amp;scp=ALL">added to compiler team calendar</a> -- I can add folks as invites if desired, just ping me w/ e-mail</p>



<a name="200160489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200160489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200160489">(Jun 08 2020 at 21:51)</a>:</h4>
<p>I can just send the link to them and I think that works</p>



<a name="200161794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200161794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200161794">(Jun 08 2020 at 22:06)</a>:</h4>
<p>Actually that event is missing details for zoom/meet <br>
out emails: <a href="mailto:chrispardy36@gmail.com">chrispardy36@gmail.com</a>, <a href="mailto:roxane.fruytier@hotmail.com">roxane.fruytier@hotmail.com</a> and <a href="mailto:aman23arora@gmail.com">aman23arora@gmail.com</a></p>



<a name="200169711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200169711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200169711">(Jun 08 2020 at 23:55)</a>:</h4>
<p><a href="mailto:dhruvjhr@gmail.com">dhruvjhr@gmail.com</a></p>



<a name="200235391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200235391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200235391">(Jun 09 2020 at 14:24)</a>:</h4>
<p>I was figuring we could discuss on Zulip, actually, but Zoom is also ok</p>



<a name="200235436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200235436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200235436">(Jun 09 2020 at 14:24)</a>:</h4>
<p>maybe Zoom is better for this meeting at least</p>



<a name="200240216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200240216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200240216">(Jun 09 2020 at 14:53)</a>:</h4>
<p>Also, I'm starting to create issues with details on the project-rfc-2229 repo, such as <a href="https://github.com/rust-lang/project-rfc-2229/issues/1">rust-lang/project-rfc-2229#1</a></p>



<a name="200243642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200243642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200243642">(Jun 09 2020 at 15:13)</a>:</h4>
<p>Awesome, thank you. I'll try go through them before the meeting.</p>



<a name="200278556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200278556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200278556">(Jun 09 2020 at 19:32)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> not sure if you saw but we're in a Zoom room for today</p>



<a name="200635880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200635880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200635880">(Jun 12 2020 at 05:20)</a>:</h4>
<p>This is what I'm thinking how we split the work a head:</p>
<ul>
<li>Split Place into <code>PlaceWithId</code>/<code>PlaceUnique</code> and <code>Place</code> (maintain projections as is)</li>
</ul>
<p>(Reason I didn't want to use <code>PlaceReference</code> is because <a href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/mir/struct.PlaceRef.html">mir::PlaceRef</a> exists, it's derived from a mir::Place and has a slice instead of a List for projections)</p>
<p>Once that is done we can do the following in parallel </p>
<ul>
<li>Use Place in ClosureCaptures, the HIR id that is in upvars_mentioned can be accessed from<code>PlaceBase::Upvar(UpvarId::var_path::hir_id)</code></li>
<li>Represent Projection as <code>{Ty, ProjectionKind}</code></li>
</ul>
<p>Once these are done we work on categorizing the projections more precisely again in parallel amongst oursleves. </p>
<p>Do you think this sounds reasonable? If so I'll add taks that track individul issues for these in <a href="https://github.com/orgs/rust-lang/teams/wg-rfc-2229">https://github.com/orgs/rust-lang/teams/wg-rfc-2229</a> (Project grp in the team will probably allow us to track issues/PRs accross different repos -- assuming clippy will need updating once we update Place).</p>
<p>Also when you get a chance can you update <a href="https://github.com/rust-lang/project-rfc-2229/blob/master/meetings.md">https://github.com/rust-lang/project-rfc-2229/blob/master/meetings.md</a> with details from Tuesday?</p>



<a name="200656351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200656351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200656351">(Jun 12 2020 at 10:51)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> that sounds like a good plan. I will update with links indeed</p>



<a name="200656362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200656362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200656362">(Jun 12 2020 at 10:51)</a>:</h4>
<p>my only hesitation is</p>



<a name="200656390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200656390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200656390">(Jun 12 2020 at 10:52)</a>:</h4>
<p>whether we actually need to do that first split,  I guess</p>



<a name="200656442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200656442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200656442">(Jun 12 2020 at 10:52)</a>:</h4>
<p>I presume you meant that will add individual issues into the repo (not the github team)?</p>



<a name="200656453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200656453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200656453">(Jun 12 2020 at 10:52)</a>:</h4>
<p>re: clippy, I believe you can actually update that within the rust-lang repo itself</p>



<a name="200656460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200656460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200656460">(Jun 12 2020 at 10:52)</a>:</h4>
<p>(because of the new git subtree scheme we've been using)</p>



<a name="200689227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200689227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200689227">(Jun 12 2020 at 16:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <br>
We would have to refactor some of the code again if we use Place in closure_captures before it's split into two structures.</p>
<p>Mostly because the PlaceBase will now come from <code>PlaceWithHirId.place.place_base</code></p>
<p>and we need to use <code>PlaceWithId</code> so that we can get span for live nodes in <a href="https://github.com/rust-lang/rust/blob/master/src/librustc_passes/liveness.rs#L481">rustc_passes</a></p>



<a name="200690076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200690076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200690076">(Jun 12 2020 at 16:09)</a>:</h4>
<p>Also I will create issue in the wg rfc repo, and my comment on clippy was purely related to the project based. </p>
<p>Project board for the team can track issues across multiple repos if I'm not wrong.</p>



<a name="200706089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200706089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200706089">(Jun 12 2020 at 18:21)</a>:</h4>
<p>yes the project board should be able to track anything in the org</p>



<a name="200706095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200706095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200706095">(Jun 12 2020 at 18:21)</a>:</h4>
<p>but my point is that you don't probably need seprate PRs to clippy</p>



<a name="200706122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200706122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200706122">(Jun 12 2020 at 18:21)</a>:</h4>
<p>I think one PR to the rust-lang/rust repo should be able to refactor clippy at the same time</p>



<a name="200707473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200707473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200707473">(Jun 12 2020 at 18:32)</a>:</h4>
<p>Oh I see, that makes sense</p>



<a name="200714850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200714850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200714850">(Jun 12 2020 at 19:33)</a>:</h4>
<p>BTW <span class="user-mention" data-user-id="281950">@Aman Arora</span> there were some other issues that were opened in rustc that I think never made much progress, around changing the "upvar tuple" in a closure</p>



<a name="200714854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200714854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200714854">(Jun 12 2020 at 19:33)</a>:</h4>
<p>I might move those over the project repo</p>



<a name="200714862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200714862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200714862">(Jun 12 2020 at 19:33)</a>:</h4>
<p>I think that work can be done in parallel with this other work</p>



<a name="200716109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200716109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200716109">(Jun 12 2020 at 19:44)</a>:</h4>
<p>Yeah, I think so</p>



<a name="200716331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200716331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200716331">(Jun 12 2020 at 19:46)</a>:</h4>
<p>I think a very basic split of place, should be first and then everything can be split into parallel parts</p>



<a name="200721974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200721974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200721974">(Jun 12 2020 at 20:39)</a>:</h4>
<p>OK, so, the independent refactoring I was referring to is <a href="https://github.com/rust-lang/rust/issues/57482">#57482</a>, and is <a href="https://github.com/rust-lang/rust/issues/57482#issuecomment-607164261">described starting here</a></p>



<a name="200722011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200722011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200722011">(Jun 12 2020 at 20:39)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> are you using a project board to track work? I could  move that issue over from rust-lang/rust to rust-lang/project-rfc-2229</p>



<a name="200722249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200722249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200722249">(Jun 12 2020 at 20:42)</a>:</h4>
<p>done <a href="https://github.com/rust-lang/project-rfc-2229/issues/4">https://github.com/rust-lang/project-rfc-2229/issues/4</a></p>



<a name="200722533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200722533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200722533">(Jun 12 2020 at 20:45)</a>:</h4>
<p>Not sure if there is anything else you need to help parallelize effort here -- i.e., does everyone who has time have something they are able to do? :)</p>



<a name="200722544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200722544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200722544">(Jun 12 2020 at 20:45)</a>:</h4>
<p>Another thing i'd like to say is</p>



<a name="200722552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200722552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200722552">(Jun 12 2020 at 20:45)</a>:</h4>
<p>if it would be helpful, we could schedule time to do a bit of pair coding</p>



<a name="200722667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200722667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200722667">(Jun 12 2020 at 20:46)</a>:</h4>
<p>That's what we have been doing, we use vscode liveshare</p>



<a name="200722856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200722856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200722856">(Jun 12 2020 at 20:48)</a>:</h4>
<p>I think there is enough to keep all of us busy for a bit, I'll go through the issue you have linked.</p>



<a name="200722901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200722901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200722901">(Jun 12 2020 at 20:49)</a>:</h4>
<p>I have been a little busy today, but I'll try get the project board setup by EOD.</p>



<a name="200726066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200726066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200726066">(Jun 12 2020 at 21:22)</a>:</h4>
<p>I can't seem to create a project within the team, can you create one and I'll add the details</p>



<a name="200726072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200726072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200726072">(Jun 12 2020 at 21:22)</a>:</h4>
<p>ok</p>



<a name="200726106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200726106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200726106">(Jun 12 2020 at 21:23)</a>:</h4>
<p>do you want the Basic kanban template?</p>



<a name="200726475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200726475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200726475">(Jun 12 2020 at 21:27)</a>:</h4>
<p>I think that works, as far as I know you can update automation</p>



<a name="200726541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200726541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200726541">(Jun 12 2020 at 21:28)</a>:</h4>
<p><a href="https://github.com/rust-lang/project-rfc-2229/projects/1?add_cards_query=is%3Aopen">https://github.com/rust-lang/project-rfc-2229/projects/1?add_cards_query=is%3Aopen</a></p>



<a name="200726548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200726548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200726548">(Jun 12 2020 at 21:28)</a>:</h4>
<p>I made it automated kanban</p>



<a name="200726571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200726571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200726571">(Jun 12 2020 at 21:28)</a>:</h4>
<p>though I don't quite get why you were not able to make it yourself</p>



<a name="200726787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200726787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200726787">(Jun 12 2020 at 21:31)</a>:</h4>
<p>as far as I can tell, we both have the same Write permission</p>



<a name="200726811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200726811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200726811">(Jun 12 2020 at 21:31)</a>:</h4>
<p>Ooooh, I was trying to create the project through the team and not with the repo</p>



<a name="200727058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200727058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200727058">(Jun 12 2020 at 21:34)</a>:</h4>
<p>heh ok</p>



<a name="200738713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200738713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200738713">(Jun 13 2020 at 00:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  I have updated the project table, included as much detail that I know. It's correct best to my knowledge/understanding but can you please go over then to ensure that I details right especially for <a href="https://github.com/rust-lang/project-rfc-2229/issues/7">use hir::Places in closure_captures</a></p>



<a name="200928647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200928647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200928647">(Jun 15 2020 at 18:37)</a>:</h4>
<p>I think it seems right</p>



<a name="200928788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/200928788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#200928788">(Jun 15 2020 at 18:39)</a>:</h4>
<p>thanks</p>



<a name="201048022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201048022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201048022">(Jun 16 2020 at 17:26)</a>:</h4>
<p>Last week was really busy for us and we didn't end up making too much progress. I think it might be better to cancel this week's sync. Sorry for not notifying earlier.</p>
<p>From what I know, we'll begin the place refactor <a href="https://github.com/rust-lang/project-rfc-2229/issues/3">#3</a> today/tomorrow and we have some progress on using typechk tables for captures <a href="https://github.com/rust-lang/project-rfc-2229/issues/6">#6</a> here: <a href="https://github.com/sexxi-goose/rust/tree/change_upvars_to_typeck_tables_of">https://github.com/sexxi-goose/rust/tree/change_upvars_to_typeck_tables_of</a></p>
<p>Work on categorizing upvar access <a href="https://github.com/rust-lang/project-rfc-2229/issues/12">#12</a> will probably begin later this week.</p>



<a name="201078536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201078536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201078536">(Jun 16 2020 at 21:48)</a>:</h4>
<p>OK</p>



<a name="201662571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201662571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201662571">(Jun 22 2020 at 21:20)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  Just an update on our progress: </p>
<ul>
<li><a href="https://github.com/rust-lang/project-rfc-2229/issues/3">#3</a> got merged, thank you for reviewing so quickly. </li>
<li>
<p>We closed <a href="https://github.com/rust-lang/project-rfc-2229/issues/12">#12</a> as it was a non-issue. </p>
</li>
<li>
<p>Dhruv and Chris looked at <a href="https://github.com/rust-lang/project-rfc-2229/issues/2">#2</a> a bit last week and will discuss more and hopefully begin work tomorrow evening. </p>
</li>
<li>
<p>Archer and Roxane have started on <a href="https://github.com/rust-lang/project-rfc-2229/issues/5">#5</a> today and plumbing the type information around. From what I know they are having some python errors and fighting their local build env.</p>
</li>
<li>
<p>Jenny, Logan and I will probably make some progress on <a href="https://github.com/rust-lang/project-rfc-2229/issues/7">#7</a> tonight but from the looks of it, we will most likely be constructing the ClosureCaptures map from information passed to InferBorrowKind after we walk the body using ExprUseVisitor instead of before walking body. (As far as I can see closure_captures isn't used within typeck until at the very end in writeback so should'be fine)</p>
</li>
</ul>



<a name="201664196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201664196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201664196">(Jun 22 2020 at 21:36)</a>:</h4>
<p>OK, do we plan to meet tomorrow?</p>



<a name="201664250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201664250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201664250">(Jun 22 2020 at 21:36)</a>:</h4>
<p>I believe that indeed you cannot construct the closure captures map until we've finished walking the body, since I think you have to accumulate all the information</p>



<a name="201664315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201664315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201664315">(Jun 22 2020 at 21:37)</a>:</h4>
<p>Yes currently we were just relying on <code>upvars_mentioned</code>, but we don't generate any Places until we start walking</p>



<a name="201665116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201665116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201665116">(Jun 22 2020 at 21:47)</a>:</h4>
<p>There isn't really much I think we have on end, I have one question that i asked on the upvar-access-span thread</p>



<a name="201771880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201771880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201771880">(Jun 23 2020 at 19:35)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> not sure if you got booked over this meeting. But couple things came up late last night. If you have time, it would be great if we can discuss them, if not we can do this next week. whichever works for you.</p>



<a name="201772445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201772445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201772445">(Jun 23 2020 at 19:40)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> I'm available sorry</p>



<a name="201772446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201772446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201772446">(Jun 23 2020 at 19:40)</a>:</h4>
<p>still around?</p>



<a name="201772473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201772473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201772473">(Jun 23 2020 at 19:41)</a>:</h4>
<p>Yeah</p>



<a name="201772487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201772487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201772487">(Jun 23 2020 at 19:41)</a>:</h4>
<p>want to chat on zoom? or zulip</p>



<a name="201772520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201772520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201772520">(Jun 23 2020 at 19:41)</a>:</h4>
<p>Either works</p>



<a name="201772588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201772588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201772588">(Jun 23 2020 at 19:42)</a>:</h4>
<p>Let's do Zulip if that works for you</p>



<a name="201772611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/201772611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#201772611">(Jun 23 2020 at 19:42)</a>:</h4>
<p>Okay</p>



<a name="202146954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202146954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202146954">(Jun 26 2020 at 21:53)</a>:</h4>
<p>I think that topic went a little out of the scope, so pulling it here</p>



<a name="202147053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202147053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202147053">(Jun 26 2020 at 21:54)</a>:</h4>
<p>We have a deliverable heavy monday/tuesday and might need to move the sync meeting a day or week later, just so that those who are attending have better context. I'll check in with them and try let you know by Monday</p>



<a name="202147302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202147302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202147302">(Jun 26 2020 at 21:57)</a>:</h4>
<p>ok I would actually prefer that</p>



<a name="202147333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202147333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202147333">(Jun 26 2020 at 21:57)</a>:</h4>
<p>this particular Tuesday is my daughter's birthday so...</p>



<a name="202147412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202147412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202147412">(Jun 26 2020 at 21:58)</a>:</h4>
<p>I'm pretty available on Wednesday</p>



<a name="202147504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202147504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202147504">(Jun 26 2020 at 21:59)</a>:</h4>
<p>That's fair, we can discuss details Monday/Tuesday. I'll need to check in with who will be attending the meeting  about that time that works for all.</p>
<p>Happy birthday to her in advance :)</p>



<a name="202365424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202365424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202365424">(Jun 29 2020 at 20:42)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  can you send a doodle to schedule a meeting this week? Wednesday looks like should be good for most of us, but would be good to include Thursday and Friday as well. Thank you</p>



<a name="202475379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202475379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202475379">(Jun 30 2020 at 18:21)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> <a href="https://doodle.com/poll/5asct3rk8af4vsvm">doodle link</a></p>



<a name="202475513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202475513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202475513">(Jun 30 2020 at 18:22)</a>:</h4>
<p>thank you</p>



<a name="202502483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202502483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202502483">(Jun 30 2020 at 22:20)</a>:</h4>
<p>I think everyone has responded for Tomorrow, Jul  1 2:00 PM-2:30 PM</p>



<a name="202573717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202573717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202573717">(Jul 01 2020 at 14:16)</a>:</h4>
<p>OK, I think we can do that slot. It's not the most convenient for me but I think it should work ok.</p>



<a name="202573993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202573993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202573993">(Jul 01 2020 at 14:18)</a>:</h4>
<p>I'll make a calendar event!</p>



<a name="202584084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202584084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202584084">(Jul 01 2020 at 15:38)</a>:</h4>
<p>Thank you for making the time</p>



<a name="202602343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202602343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202602343">(Jul 01 2020 at 18:01)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> I'm in the room, the link is in the calendar invite</p>



<a name="202602365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202602365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202602365">(Jul 01 2020 at 18:01)</a>:</h4>
<p>er hmm</p>



<a name="202602369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202602369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202602369">(Jul 01 2020 at 18:01)</a>:</h4>
<p>maybe I'm in the wong one ;)</p>



<a name="202607699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202607699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202607699">(Jul 01 2020 at 18:42)</a>:</h4>
<p>I'm merging both the projection and closure-capture doc</p>



<a name="202641485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202641485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202641485">(Jul 02 2020 at 01:17)</a>:</h4>
<p><a href="https://youtu.be/TBDrWFhcYWY">recording from today's meeting available</a></p>
<div class="youtube-video message_inline_image"><a data-id="TBDrWFhcYWY" href="https://youtu.be/TBDrWFhcYWY"><img src="https://i.ytimg.com/vi/TBDrWFhcYWY/default.jpg"></a></div>



<a name="202641537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202641537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202641537">(Jul 02 2020 at 01:18)</a>:</h4>
<p>Thank you</p>



<a name="202888434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/202888434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#202888434">(Jul 04 2020 at 19:41)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Archer had pushed a commit for <a href="https://github.com/rust-lang/rust/pull/73870">https://github.com/rust-lang/rust/pull/73870</a> to resolve CI errors (missing changes in clippy). </p>
<p>I think you have to  approve the new commit. <a href="https://buildbot2.rust-lang.org/homu/queue/rust">https://buildbot2.rust-lang.org/homu/queue/rust</a> shows that the PR is not approved</p>



<a name="203053093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/203053093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#203053093">(Jul 06 2020 at 23:30)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> r+'d</p>



<a name="203053195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/203053195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#203053195">(Jul 06 2020 at 23:32)</a>:</h4>
<p>Thanks</p>



<a name="203993545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/203993545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#203993545">(Jul 15 2020 at 18:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>  <a href="https://github.com/rust-lang/rust/pull/74140">https://github.com/rust-lang/rust/pull/74140</a> can you take another look?</p>



<a name="204217614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/204217614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#204217614">(Jul 17 2020 at 15:10)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> I was on vacation last week, sorry, back now, but it's merged! <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="204229438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/204229438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#204229438">(Jul 17 2020 at 16:40)</a>:</h4>
<p>Thanks. </p>
<p>Do yoiu have any tips for how we can go about debugging the MIR Build issue I describe here: <a href="#narrow/stream/122651-general/topic/Debugging.20broken.20MIR/near/204178630">https://rust-lang.zulipchat.com/#narrow/stream/122651-general/topic/Debugging.20broken.20MIR/near/204178630</a></p>



<a name="208269795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/208269795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#208269795">(Aug 27 2020 at 20:12)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  there is a meeting scheduled for September 1st,  will you be available for it? If not that's fine, the team isn't still back yet. </p>
<p>Things that I have in mind to discuss over the next little bit:</p>
<ul>
<li>[ ] Alternate time, preferrably before 12PM EST<br>
    - else, Dhruv/ Archer might attend these instead (might still require time changes, but would be more flexible)</li>
<li>[ ] Discuss closure output: <a href="#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/Closure.20pretty.20print.20project-rfc-2229.2315">https://rust-lang.zulipchat.com/#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/Closure.20pretty.20print.20project-rfc-2229.2315</a></li>
<li>
<p>[ ] Discuss language changes:  <a href="https://github.com/rust-lang/project-rfc-2229/pull/16">https://github.com/rust-lang/project-rfc-2229/pull/16</a></p>
</li>
<li>
<p>[ ] Diagnostics for <a href="#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/minimal.20capture.20.239.3A.20interesting.20example">https://rust-lang.zulipchat.com/#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/minimal.20capture.20.239.3A.20interesting.20example</a><br>
    - Current behavior: <a href="https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=a76d8cc2179e04f2698944185da4d49e">https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=a76d8cc2179e04f2698944185da4d49e</a><br>
    - For <code>c2</code> we will say <code>p.y</code> borrowed immutably <br>
    - For <code>c1</code> if we point at <code>p.x += 10</code> and say <code>p</code> was borrowed mutably, this feels incorrect from a post RFC-2229 perspective only <code>p.x</code> should be captured by that line.<br>
    - For <code>c1</code> if we point at <code>p.x += 10</code> and say <code>p.x</code> was borrowed mutably, it makes me feel that those are disjoint and per RFC-2229, this should work.<br>
    - My thoughts are around: pointing at <code>p.x</code> and <code>p</code> in <code>c1</code>, and say something around the lines that to make this work <code>p</code> was borrowed mutably, which is then later used immutably by p.y.</p>
</li>
</ul>



<a name="208269837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/208269837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#208269837">(Aug 27 2020 at 20:12)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> I think I would be available, yes, but if people aren't here we could try to discuss async instead</p>



<a name="208270173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/208270173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#208270173">(Aug 27 2020 at 20:15)</a>:</h4>
<p>That works too. We also might need to reschedule our weekly syncs, I'm starting an internship on the 14th Sept, so I will be available only before 12PM EST on weekdays. Dhruv and Archer will have a better idea about their schedule once school starts on 7th Sept, but they might just attend the meetings going forward</p>



<a name="208270200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/208270200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#208270200">(Aug 27 2020 at 20:16)</a>:</h4>
<p>it'd be ok to reschedule</p>



<a name="208270266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/208270266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#208270266">(Aug 27 2020 at 20:16)</a>:</h4>
<p>Sweet :)</p>



<a name="208270267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/208270267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#208270267">(Aug 27 2020 at 20:16)</a>:</h4>
<p>just to confirm, you all still plan to stay engaged on the project? I'm not sure at what point you run out of time</p>



<a name="208270335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/checking%20in/near/208270335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/checking.20in.html#208270335">(Aug 27 2020 at 20:16)</a>:</h4>
<p>We'll still be engaged, yes. It will just be difficult for most us to attend the Rust meetings during work hours (approx 9am-5pm/12-8 pm EST)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>